phụ thuộc hàm đầy đủ full functional dependency

Chương 9 Phụ thuộc hàm (Functional Dependency)

Ngày tải lên : 12/05/2014, 12:04

... r(R) có vi phạm FD không? 12 Tập phụ thuộc hàm  Gọi F tập phụ thuộc hàm R phụ thuộc hàm F phụ thuộc hàm R  Phụ thuộc hàm tầm thường ( trivial FD) hay phụ thuộc hàm hiển nhiên X Y Y ⊆ X ◦ Ví ... anomaly Phụ thuộc hàm (Functional Dependency)   Phụ thuộc hàm mô tả mối liên hệ thuộc tính Dựa vào phụ thuộc hàm để thiết kế lại CSDL, loại bỏ dư thừa liệu Phụ thuộc hàm (Functional Dependency) ...  Phụ thuộc hàm (Functional Dependency) X vế trái, ký hiệu left(f) hay gọi determinant Y vế phải, ký hiệu right(f) hay gọi dependent Phụ thuộc hàm (Functional Dependency -FD)    Phụ thuộc hàm...

38
3.7K
7

Phụ thuộc hàm và chuẩn hóa cơ sở dữ liệu quan hệ

Ngày tải lên : 29/09/2013, 11:20

... phải phụ thuộc hàm F có thuộc tính Chúng ta thay phụ thuộc hàm X → A F phụ thuộc hàm Y → A, Y tập X mà tập phụ thuộc hàm tương đương với F Chúng ta bỏ phụ thuộc hàm khỏi F mà có tập phụ thuộc hàm ... hệ Phụ thuộc hàm Nguyên tắc thiết kế Phụ thuộc hàm Qui tắc suy diễn Bao đóng Phụ thuộc hàm tương đương Phụ thuộc hàm tối thiểu Các dạng chuẩn Thiết kế CSDL 36 / 54 Các phụ thuộc hàm I I I Một phụ ... thuộc hàm E phủ tập phụ thuộc hàm F - F phủ E - phụ thuộc hàm E F + ,điều có nghĩa phụ thuộc hàm E suy diễn từ F Hai tập phụ thuộc hàm E F tương đương E+ = F + Một tập phụ thuộc hàm tối thiểu thoả...

8
2.2K
33

Nghiên cứu các phụ thuộc hàm trong cơ sở dữ liệu hướng đối tượng mờ

Ngày tải lên : 04/12/2013, 13:45

... relationship M Fuzzy generalization relationship Phõn c Fuzzy inheritance hierarchy Ph Fuzzy functional dependency m m Resemblance relation Quan h iv B CSDL (Database) ODMG (Object Database Management ... Ngụn ng N F2 (Non-First Normal Relational Database Mụ hỡnh d Model ) 1NF FOFD (Fuzzy Object Functional Dependency) Ph UML (Unified Modeling Language) Ngụn ng FON F (Fuzzy Object Normal Form) D...

113
612
2

phụ thuộc hàm xấp xỉ và ứng dụng trong khai phá dữ liệu

Ngày tải lên : 17/02/2014, 20:58

... Loại bỏ phụ thuộc hàm không đầy đủ Khi loại bỏ, ta phân bịêt hai loại phụ thuộc hàm không đầy đủ sau: Loại1: Phụ thuộc hàm mà vế phải tập vế trái ( loại AB -> B) Loai 2: Hai phụ thuộc hàm có vế ... toàn vẹn Phụ thuộc hàm công cụ dùng để biểu diễn cách hình thức số buộc toàn vẹn 9 Các phụ thuộc hàm tương quan thuộc tính quan hệ: Một phụ thuộc hàm giá trị thuộc tính xác định số thuộc tính ... Lạng Sơn Ta có phụ thuộc hàm sau AB, AC, AD, AE,CB,CD, CE Phụ thuộc hàm X  A tối thiểu r A không phụ thuộc hàm vào tập thực X Ví dụ Y  A không thoả r với Y  X Phụ thuộc hàm X  A tầm...

50
838
3

Phụ thuốc hàm và phụ thuộc đa trị trong cơ sở dữ liệu quan hệ mờ. ppt

Ngày tải lên : 12/03/2014, 04:20

... axiomatization of fuzzy functional dependence, International Journal of Intelligent Systems (1994) 421-439 [4) Cubero J C., Vila M A., A new definition of fuzzy functional dependency in fuzzy relational ... associated thresholds ax, ay, respectively Fuzzy relation instance r is said to satisfy the fuzzy functional dependency- (a, ,B)-ffd, denoted by X , , if, for every pair of tuples tl and t2 in Y (ox,O'y) ... t2IAik])) , then two tuples tl and t2 are said to be similar on X with thresholds ax· FUZZY FUNCTIONAL DEPENDENCY (a, ,B)-FFD Definition 3.1 Let r be any fuzzy relation instance on scheme S = (R,...

7
898
0

Bài giảng Cơ sở dữ liệu - Bài 4: Phụ thuộc hàm

Ngày tải lên : 26/05/2014, 18:02

... TRA BẢO TOÀN PHỤ THUỘC • Khái niệm – Ép thoả (phụ thuộc hàm bao) – Đặc trưng đầy đủ (phụ thuộc hàm in) • Tính bao đóng không cần chiếu • Kiểm tra bảo toàn phụ thuộc – Với phụ thuộc hàm không bao ... cảnh cho trước có tập phụ thuộc hàm • Xác định phụ thuộc hàm để lưu riêng cách tuỳ tiện dẫn đến dư thừa • Tập phụ thuộc hàm không dư thừa gọi phủ tối tiểu – Vế phải gồm thuộc tính – Vế trái không ... THQL NỘI DUNG • • • • • • Phụ thuộc hàm Phủ tối tiểu Dạng chuẩn Kỹ thuật tableaux Đánh giá lược đồ CSDL Khảo sát tình 13/08/2012 HVĐ – THQL PHỤ THUỘC HÀM • Phụ thuộc hàm – Khái niệm – Bài toán...

54
1.1K
16

Cơ sở dữ liệu 1_Chương 4: Phụ thuộc hàm và dạng chuẩn ppsx

Ngày tải lên : 02/07/2014, 01:20

... Phụ thuộc hàm     Định nghĩa phụ thuộc hàm Các luật suy diễn cho phụ thuộc hàm (hệ luật Armstrong) Tập phụ thuộc hàm tương đương Tập phụ thuộc hàm tối tiểu Phụ thuộc hàm  Một phụ thuộc hàm ... đóng tập phụ thuộc hàm  Bao đóng (closure) tập phụ thuộc hàm F, ký hiệu F+ tập phụ thuộc hàm nhỏ chứa F cho áp dụng hệ tiên đề Armstrong tập để tạo phụ thuộc hàm tập 11 Bao đóng tập thuộc tính ... Không có thuộc tính đa trị thuộc tính phức hợp Cách giải quyết??? 27 Dạng chuẩn     Phụ thuộc hàm đầy đủ Phụ thuộc hàm riêng phần Dạng chuẩn (2NF):  Lược đồ đạt 1NF  Không tồn phụ thuộc hàm...

32
1.5K
3

bài giảng cơ sở dữ liệu chương 6: phụ thuộc hàm và chuấn hóa csdl - ths. nguyễn thị khiêm hòa

Ngày tải lên : 02/07/2014, 17:43

... hàng 35 PHỤ THUỘC HÀM ĐẦY ĐỦ Định nghĩa: • Cho phụ thuộc hàm F định nghĩa lƣợc đồ quan hệ R Phụ thuộc hàm X  Y phụ thuộc hàm R • X  Y phụ thuộc hàm đầy đủ vế phải Y không phụ thuộc hàm vào ... tối thiểu F tập phụ thuộc hàm G nếu: • F G tƣơng đƣơng • G có phụ thuộc hàm có vế phải có thuộc tính • Các phụ thuộc hàm G phụ thuộc hàm đầy đủ Nhận xét: • Mọi tập phụ thuộc hàm tƣơng đƣơng với ... Input: tập phụ thuộc hàm F Output: tập phủ tối thiểu G • G: = F • Phân rã vế phải phụ thuộc hàm G để có tập phụ thuộc hàm có vế phải thuộc tính • Kiểm tra phụ thuộc hàm đầy đủ với phụ thuộc hàm có...

74
766
0

thiết kế cơ sở dữ liệu quan hệ - phần 4 phụ thuộc hàm

Ngày tải lên : 05/07/2014, 14:23

... niệm Phụ thuộc hàm Phụ thuộc hàm – Khái niệm • Phụ thuộc hàm công cụ để biểu diễn hình thức RBTV phụ thuộc • Các lý thuyết Phụ thuộc hàm ứng dụng nhiều toán Chuẩn Hóa CSDL • Ký hiệu : X  Y : Y phụ ... Ký hiệu F tập phụ thuộc hàm lược đồ quan hệ Q, F = {f1,f2,…,fn}, quy ước ta không quan tâm đến phụ thuộc hàm hiển nhiên Định nghĩa : Phụ thuộc hàm suy diễn logic từ F Phụ thuộc hàm d = XY suy ... hệ Q Hệ : ∀Q, ∀X ⊂ Q+ , X  ∅ Phụ thuộc hàm hiển nhiên Phụ thuộc hàm hiển nhiên (Trivial Dependencies) Nếu X ⊇ Y XY Trong trường hợp (X ⊇ Y), XY gọi Phụ thuộc hàm hiển nhiên Ví dụ : XX Khi...

17
532
0

thiết kế cơ sở dữ liệu quan hệ - phần 5 phủ cover của tập phụ thuộc hàm

Ngày tải lên : 06/07/2014, 00:44

... G Βướχ : Β χ2: Τνη Φ+, Γ+ Ν υ Φ+ = Γ+, => Φ ≡ Γ Phủ tối thiểu tập phụ thuộc hàm (p.1) Phủ tối thiểu –Tập Phụ thuộc hàm không đầy đủ (minimal cover) Χηο λượχ đồ Θ, τậπ ΠΤΗ Φ, ΖΨ ∈ Φ ΖΨ γọι λ◊ ... κηνγ δ τη ừα , νếυ Φ κηνγ χηứα ΠΤΗ χ⌠ ϖế τρ〈ι δư τηừα Phủ tối thiểu tập phụ thuộc hàm (p.2) Phụ thuộc hàm không đầy đủ - Ví dụ Χηο Θ(ΑΒΧ), Φ={ΑΒΧ, ΒΧ} Ξτ ΑΒΧ : Φ’ = Φ – {ΑΒΧ} = {ΒΧ} ... Ξ’≠∅ χủα Ξ : Ν υ Ξ’Ψ ∈ Φ+ : τηαψ Ξ = Ξ’, λặπ λạι 2.1 Phủ tối thiểu tập phụ thuộc hàm (p.4) Tập phụ thuộc hàm có vế phải thuộc tính • Địνη νγηĩα : Φ đượχ γọι λ◊ τ ậπ πη ụ τηυ ộχ η◊µ χ⌠ ϖ ế πη...

18
619
0

cơ sở dữ liệu nâng cao - lý thuyết phụ thuộc hàm

Ngày tải lên : 06/07/2014, 07:17

... TRONG LÝ THUYẾT PHỤ THUỘC HÀM Phụ thuộc hàm X → Y ⇔ ∀ t1, t2 ∈ r : t1[X] = t2[X] ⇒ t1[Y] = t2[Y] A B C a b a b d e c c c r= r thỏa A C r thỏa B C Lược đồ quan hệ thoả mãn phụ thuộc hàm XY ∃r ∈ ... hàm XY ∃r ∈ R Stop R= Or R= < U, F > KHÔNG THỎA MÃN Bao đóng tập phụ thuộc hàm R = F+ tập tất phụ thuộc hàm hệ F F+ = {X→Y | F╞ X→Y} F ⊆ F+ Khoá lược đồ quan hệ R = , X ⊆ ... ∈ F, X+F\{X→A} A 14 Phủ cực tiểu tập phụ thuộc hàm R = G đgl phủ cực tiểu F thoả điều kiện: G⇔F  G phủ cực tiểu R’ = Phủ cực tiểu phụ thuộc hàm không 15  Giải thuật tìm phủ cực...

23
707
0

Tiểu luận môn cơ sở dữ liệu nâng cao CƠ SỞ LÝ THUYẾT PHỤ THUỘC HÀM VÀ PHỦ CỰC TIỂU

Ngày tải lên : 19/09/2014, 14:22

... THUYẾT PHỤ THUỘC HÀM Phụ thuộc hàm (Functional Dependency) Định nghĩa: (Quan hệ thoả mãn phụ thuộc hàm) Cho lược đồ quan hệ R = , cho X, Y ⊆ U Xét quan hệ r R Quan hệ r gọi thoả phụ thuộc hàm: ... LÝ THUYẾT PHỤ THUỘC HÀM Phụ thuộc hàm (Functional Dependency) Định nghĩa: (Lược đồ quan hệ thoả mãn phụ thuộc hàm) Cho lược đồ quan hệ R = , cho X, Y ⊆ U R gọi thoả phụ thuộc hàm X→Y, nếu: ... THUYẾT PHỤ THUỘC HÀM Phụ thuộc hàm (Functional Dependency) * Lưu ý: - Thông thường ta quy ước tập ràng buộc SC tập phụ thuộc hàm ký hiệu F - Một lược đồ quan hệ ký hiệu R = R phải thoả tất phụ...

41
1.3K
0

Phụ thuộc hàm và chuẩn hóa cơ sở dữ liệu

Ngày tải lên : 23/10/2014, 21:03

... ghi c n th n Ph thu c hàm Giá tr null b ̇ N u nhi u thu c tính l s c nh n giá tr null • Lãng phí không gian l u tr • Khó kh n th c hi n phép toán k t • Khó kh n s d ng hàm t p h p ̇ Tránh l ... c th c hi n phép k t b ng gi a chúng ch áp d ng thu c tính khóa ho c khóa ngo i Ph thu c hàm Ph thu c hàm (1) ̇ Xét l c quan h g m n thu c tính • R(U), U={A1, A2,…, An} ̇ PTH gi a hai t p thu ... [X] nh t X m t khóa c a R • N u K m t khóa c a R K xác nh hàm t t c t p thu c tính c a R • PTH dùng ánh giá m t thi t k CSDL Ph thu c hàm Bao óng c a t p PTH ̇ F t p PTH R • F = {MaNV TenNV, MaPB...

28
439
0

Phụ thuộc hàm xấp xỉ và ứng dụng trong khai phá dữ iệu

Ngày tải lên : 25/03/2015, 10:23

... Loại bỏ phụ thuộc hàm không đầy đủ Khi loại bỏ, ta phân bịêt hai loại phụ thuộc hàm không đầy đủ sau: Loại1: Phụ thuộc hàm mà vế phải tập vế trái ( loại AB -> B) Loai 2: Hai phụ thuộc hàm có vế ... buộc toàn vẹn Phụ thuộc hàm công cụ dùng để biểu diễn cách hình thức số buộc toàn vẹn Các phụ thuộc hàm tương quan thuộc tính quan hệ: Một phụ thuộc hàm giá trị thuộc tính xác định số thuộc tính ... 1211445 Ta có phụ thuộc hàm sau AB, AC, AD, AE,CB,CD, CE Phụ thuộc hàm X  A tối thiểu r A không phụ thuộc hàm vào tập thực X Ví dụ Y  A không thoả r với Y  X Phụ thuộc hàm X  A tầm...

51
283
0

đồ án công nghệ thông tin Nghiên cứu các tính chất của phụ thuộc hàm và các dạng chuẩn của mô hình dữ liệu quan hệ

Ngày tải lên : 30/04/2015, 09:52

... hàm F Bổ đề 4: Mỗi ttập phụ thuộc hàm F phủ tập phụ thuộc hàm G cho G mà vế phải phụ thuộc hàm bao gồm không thuộc tính Chứng minh: Gọi G tập phụ thuộc hàm X→A cho với X→Y thuộc F A ∈ Y Từ X→Y ... tiên đề đầy đủ Trang18 Luận văn tốt nghiệp Nguyễn Văn Giang II.1.4 Phủ tập phụ thuộc hàm Cho tập phụ thuộc hàm F, thay F phụ thuộc G cho G đảm bảo chức F Khi ta gọi G phủ tập phụ thuộc hàm F Bổ ... giản phổ thông Chỉ có phụ thuộc hàm đưa thương trường II.1.3 Định nghĩa hệ tiên đề Amstrong cho phụ thuộc hàm Gọi F tập tất phụ thuộc hàm lược đồ quan hệ R, X→Y phụ thuộc hàm, X,Y tập R Nói X...

61
737
0

các dạng phụ thuộc hàm trong cơ sở dữ liệu mờ

Ngày tải lên : 02/06/2015, 16:56

... này, tác giả nước giới đưa số khái niệm phụ thuộc hàm mờ a Khái niệm phụ thuộc hàm mờ Raju Khái niệm phụ thuộc hàm mờ Raju xây dựng mô hình tập mờ Phụ thuộc hàm mờ X ~> Y quan hệ r với t1, t2 ∈ ... tập thuộc tính Y khác theo mức k Như vậy, không tồn phụ thuộc hàm mờ, không thoả mãn “với mọi” thoả mãn “hầu hết” “một ít”, dạng phụ thuộc gọi phụ thuộc hàm mờ với lượng từ ngôn ngữ Phụ thuộc hàm ... khái niệm phụ thuộc hàm mờ Raju Chen, nhiên véc tơ ngưỡng phải cố định Để mở rộng phụ thuộc hàm mờ, tác giả Trần Thiên Thành đưa lượng từ ngôn ngữ vào phụ thuộc hàm mờ nhằm mô tả phụ thuộc liệu...

15
843
5

Một số vấn đề liên quan đến dạng chuẩn trong hệ cơ sở dữ liệu tính bao đóng của một tập các thuộc tính trên tập các phụ thuộc hàm đối với sơ đồ quan hệ

Ngày tải lên : 20/07/2015, 17:04

... {c} ∈ {a, b}+ G, tức {a, b} →{c}∈ G+ Xét phụ thuộc hàm G Hai phụ thuộc hàm sau nằm F Xét phụ thuộc hàm {a, b, d} → {c, d}∈ G Kiểm tra xem phụ thuộc hàm có thuộc F+ hay không Tính {a, b, d}+ G: A0 ... phụ thuộc hàm quan hệ ta có: { TINH } → { KHUVUC } { SBD } → { HOTEN, DIACHI, TINH, KHUVUC } Khái niệm phụ thuộc hàm miêu tả loại ràng buộc ( phụ thuộc liệu) xẩy tự nhiên tập thuộc tính Phụ thuộc ... Một số vấn đề liên quan đến dạng chuẩn hệ sở liệu Xét phụ thuộc hàm F Hai phụ thuộc hàm sau nằm G Xét {a, b}→{c} Kiểm tra xem phụ thuộc hàm có thuộc G+ hay không Tính {a, b}+ G A0 = {a, b} A1 =...

77
782
4

Phụ thuộc hàm sql cơ sỡ dữ liệu

Ngày tải lên : 14/08/2015, 14:41

... Kiểm tra phụ thuộc hàm XY có suy dẫn từ F  Kiểm tra tập phụ thuộc hàm tương đương F+=G+  Với phụ thuộc hàm YZ F Tính Y+ tập phụ thuộc hàm G Nếu Z  Y+ YZ G+ ngược lại  Phụ thuộc hàm dư ... chứa phụ thuộc hàm CE  F không tương đương với G’ Phủ tối thiểu tập phụ thuộc hàm (minimal cover)  Phụ thuộc hàm có vế trái dư thừa:  F tập phụ thuộc hàm lược đồ quan hệ Q  ZYF  Phụ thuộc ... tập phụ thuộc hàm có vế phải thuộc tính  F tập phụ thuộc hàm không dư thừa Phủ tối thiểu tập phụ thuộc hàm (minimal cover)  Thuật toán tìm phủ tối thiểu tập phụ thuộc hàm  Bước 1: Loại bỏ phụ...

54
1.2K
0

Phụ thuộc hàm cơ sỡ dữ liêu

Ngày tải lên : 14/08/2015, 14:41

... Kiểm tra phụ thuộc hàm XY có suy dẫn từ F  Kiểm tra tập phụ thuộc hàm tương đương F+=G+  Với phụ thuộc hàm YZ F Tính Y+ tập phụ thuộc hàm G Nếu Z  Y+ YZ G+ ngược lại Phụ thuộc hàm dư thừa ... chứa phụ thuộc hàm CE  F không tương đương với G’ Phủ tối thiểu tập phụ thuộc hàm (minimal cover)  Phụ thuộc hàm có vế trái dư thừa:  F tập phụ thuộc hàm lược đồ quan hệ Q  ZYF  Phụ thuộc ... tập phụ thuộc hàm có vế phải thuộc tính F tập phụ thuộc hàm không dư thừa Phủ tối thiểu tập phụ thuộc hàm (minimal cover)  Thuật toán tìm phủ tối thiểu tập phụ thuộc hàm  Bước 1: Loại bỏ phụ...

54
335
0